//50 24 11
#include <stdio.h>
int main(){
	int count = 1;
	int N = 0;
	scanf("%d",&N);
	while(--N){
		count = 2*(count+1);
	}
	printf("%d",count);
	return 0;
}
